binary addition in python